bench (someone) during a game